Что такое типы? Простейшее описание типов: они представляют собой множества значений. Типу Bool (помните, конкретные типы начинаются с заглавной буквы в Haskell) соответствует...
Означает ли применение статических типов знание типов во время компиляции программы? На вопрос, вынесенный в заголовок этого раздела, можно ответить отрицательно.
